Data types as algorithms

Data Types as Algorithms

— This paper présents a simplified construction of an algorithm space. The intuitive notion ofan algorithm collection goes back to Nolin 1974. Our goal is her e to formalize and simplify this présentation of algorithm theory. The introduction of a computability notion was induced by the utilization of bundie theory. We build an enumerable algorithm space where ever y object is computable. Résum...

Data Types as Objects

In this paper we present a new approach to the semantics of data types, in which the types themselves are incorporated as elements of the domain of data objects. The approach allows types to have subtypes, allows genuinely polymorphic functions, and gives a precise semantics for recursive type definitions (including definitions with parameters). In addition, the approach yields simple and strai...

Forest Stand Types Classification Using Tree-Based Algorithms and SPOT-HRG Data

Forest types mapping, is one of the most necessary elements in the forest management and silviculture treatments. Traditional methods such as field surveys are almost time-consuming and cost-intensive. Improvements in remote sensing data sources and classification –estimation methods are preparing new opportunities for obtaining more accurate forest biophysical attributes maps. This research co...

Data Types as Lattices : , , ' : _ " J

Banach Spaces as Data Types

We introduce the operators modified limit and accumulation on a Banach space, and we use this to define what we mean by being internally computable over the space. We prove that any externally computable function from a computable metric space to a computable Banach space is internally computable. We motivate the need for internal concepts of computability by observing that the complexity of th...